Buy Used and New Dexter Kozen Books

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)

by Dexter Kozen,Carron Shankland

ISBN 13: 9783540223801

Format: Illustrated (416 pages)
Publisher: Springer
Published: 24 Jun 2004

Save for later

Dynamic Logic (Foundations of Computing)

by David Harel, Dexter Kozen, Jerzy Tiuryn

ISBN 13: 9780262527668

Format: Paperback (476 pages)
Publisher: MIT Press
Published: 03 Dec 2014

Save for later